#include "pub.h"
#include "delegate.pml"
#include "driver.pml"

init {
	byte K;
	atomic {
		for (K : 0 .. (N-1)) {
			pubList[K] = K;
			run delegate(K);
		}
		pubA = 255; 
		pubB = 255;
		run designatedDriver();
	}
}